//
//  lval.h
//  ltlbmc
//
//  Created by GD Huang on 5/22/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef ltlbmc_lval_h
#define ltlbmc_lval_h

#include "lhost.h"
#include "offset.h"
#include "OCamlObject.h"

namespace cilast {
    
    class lhost;
    class offset;
    
    class lval : public OCamlObject {
    public:    
        lhost* mlhost;
        offset* moffset;
        
    };
    
}
#endif
